-
1 unrestricted quantifier
Большой англо-русский и русско-английский словарь > unrestricted quantifier
-
2 unrestricted quantifier
Математика: неограниченный кванторУниверсальный англо-русский словарь > unrestricted quantifier
-
3 unrestricted quantifier
English-Russian scientific dictionary > unrestricted quantifier
-
4 quantifier
квантор || кванторный -
5 неограниченный квантор
Большой англо-русский и русско-английский словарь > неограниченный квантор
-
6 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Singular they — is a popular, non technical expression for uses of the pronoun they (and its inflected forms) when plurality is not required by the context. The Chicago Manual of Style notes: On the one hand, it is unacceptable to a great many reasonable readers … Wikipedia
Czeslaw Lejewski — (1913 2001) was a polish philosopher and logician, and a member of the Lwow Warsaw School of Logic. He studied under Jan Łukasiewicz, Karl Popper in the London School of Economics, and W.V.O. Quine. [Czeslaw Lejewski, Logic and Existence British… … Wikipedia
Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only … Wikipedia
O-minimal theory — In mathematical logic, and more specifically in model theory, a totally ordered structure ( M , lt;,...) is o minimal if and only if every definable set X sub; M (with parameters) can be realized as a finite union of intervals and points.A theory … Wikipedia
o-minimal theory — In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o minimal structure if and only if every definable subset X ⊂ M (with parameters taken from… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism